Predicting and Witnessing Data Races Using CSP
نویسندگان
چکیده
Detecting and debugging data races is a complex task due to the large number of interleavings possible in a parallel program. Most tools can find the data races reliably in an observed execution, but they miss errors in alternative reorderings of events. In this paper we describe an automated approach to generate, from a single program trace, a model in CSP with alternative interleavings. We check for data races patterns and obtain a witness that allows the reproduction of errors. Reproduction reduces the developer effort to correct the error.
منابع مشابه
Modelling of Conventional and Severe Shot Peening Influence on Properties of High Carbon Steel via Artificial Neural Network
Shot peening (SP), as one of the severe plastic deformation (SPD) methods is employed for surface modification of the engineering components by improving the metallurgical and mechanical properties. Furthermore artificial neural network (ANN) has been widely used in different science and engineering problems for predicting and optimizing in the last decade. In the present study, effects of conv...
متن کاملDesigning an intelligent system for predicting chromosomal genetic diseases using data mining
Background and Aim: Today we are witnessing tremendous advances in medical data mining. The data, by analyzing and discovering the relationships between them, can lead to algorithms that help us prevent or treat many diseases. Meanwhile, genetic diseases have attracted a large part of the attention of the medical world because the birth of children with genetic disorders imposes a great financi...
متن کاملPrevalence and Length of Cavum Septi Pellucidi in Normal Adult Human Brains Using Magnetic Resonance Imaging
Purpose: In view of the fact that the reported prevalence of cavum septi pellucidi (CSP) in normal adult human brains varies enormously from 0.1% to 87.5% and that this prevalence has not been yet studied in Iran, this study was designed to determine the prevalence and length of CSP in normal adult human brains using magnetic resonance imaging (MRI). Materials and Methods: 29 healthy volunteer...
متن کاملDirect and indirect violence exposure: relations to depression for economically disadvantaged ethnic minority mid-adolescents.
Exposure to violence remains a considerable public health problem for adolescents in the United States. This cross-sectional study examined relative associations between exposure to violence in 3 different contexts (home, school, community) and depressive symptoms, using data from 233 11th-graders (predominantly economically disadvantaged Hispanic and African American students). Analyses examin...
متن کاملEvolving CSP Algorithm in Predicting the Path Loss of Indoor Propagation Models
Constraint programming is the study of system which is based on constraints. The solution of a constraint satisfaction problem is a set of variable value assignments, which satisfies all members of the set of constraints in the CSP. In this paper the application of constraint satisfaction programming is used in predicting the path loss of various indoor propagation models using chronological ba...
متن کامل